A Logical Model of Hcp
نویسنده
چکیده
For an arbitrary undirected graph G, we are designing a logical model for the Hamiltonian Cycle Problem (HCP), using tools of Boolean algebra only. The obtained model is a logic formulation of the conditions for the existence of the Hamiltonian cycle, and uses m Boolean variables, where m is the number of the edges of a graph. This Boolean expression is true if and only if an initial graph is Hamiltonian. In general, the obtained Boolean expression may have an exponential length (the number of Boolean literals) and may be used for construction of the solution algorithm. 2000 Mathematics Subject Classification. 68R10, 94C10.
منابع مشابه
Designing a logical data model of athletes' hospital information management system based on international standards
Background and purpose: Today, hospital care, relying on the health record system, has received more attention than before. Considering the diversity of data in these systems, the design of standard conceptual and logical models by service providers will play an important role in their success. Therefore, this research was conducted with the aim of designing a logical data model of the hospital...
متن کاملAssessment of Alkaline Phosphatase Activity in Hydatid Cyst Protoscolices and Liver Tissue as a Pathological Biomarker
Introduction: Hydatid cyst disease is caused by the protoscolices of Echinococcus granulosus. Alkaline phosphatase (ALP) enzyme is required for metabolism, physiology, immunology, and nutrients absorption in parasite. The aim of this study was to compare the level of ALP activity (as a pathological biomarker) in hydatid cyst protoscolices (HCP) with that of sheep liver tissue and to determine t...
متن کاملمقایسه تأثیر فنوفورزیس هیدروکورتیزون 1% و لیزر کم توان در درمان پیچخوردگی مچ پای درجه 2
Background and Objective: Ankle sprain is the most common injuries of ankle joint that 22% of sport injuries is related to ankle sprain.The aim of this study is to compare the effect of 1% hydrocortisone phonophoresis (1% HcP) with Low level laser therapy (LLLT) on treatment of 2nd degree ankle sprain. Materials and Methods: This double-blinded clinical trial was performed in Fattemieh phys...
متن کاملElectrocatalytic determination of free glycerol in biodiesel at nano nickel modified graphite electrode
For the first time this study reported the success of using nanocrystalline hexagonal close-packed (hcp) nickel (Ni) modified composite graphite (CG) electrode (hcp-nano Ni/CG) for the electrocatalytic oxidation of glycerol in alkaline medium (0.1 M KOH). The hcp-nano Ni/CG electrode had an improve response and specificity on the electrocatalytic oxidation of glycerol over the bare CG. The elec...
متن کاملElectrocatalytic determination of free glycerol in biodiesel at nano nickel modified graphite electrode
For the first time this study reported the success of using nanocrystalline hexagonal close-packed (hcp) nickel (Ni) modified composite graphite (CG) electrode (hcp-nano Ni/CG) for the electrocatalytic oxidation of glycerol in alkaline medium (0.1 M KOH). The hcp-nano Ni/CG electrode had an improve response and specificity on the electrocatalytic oxidation of glycerol over the bare CG. The elec...
متن کامل